Composed Reduction Systems
نویسنده
چکیده
y Abstract This paper studies composed reduction systems: a system of programs built up from the reduction relations of some reduction system, by means of parallel and sequential composition operators. The trace-based compo-sitional semantics of composed reduction systems is considered, and a new graph-representation is introduced as an alternative basis for the study of compositional semantics, reenement, true concurrency (in the case of composed rewriting systems) and program logics.
منابع مشابه
بررسی ترمودینامیکی احیای کربوترمی مولیبدنیت در حضور اکسید منیزیم
Carbothermic reduction of Molybdenite in the presence of Magnesium oxide was thermodynamically studied. The stability diagrams for MoS2-MgO and MoS2-MgO-C Systems was prepared. The reduction of MoS2 with Carbon in the presence of Magnesium oxide proceeded through the direct oxidation of MoS2 by MgO to form intermediate molybdenum oxidized Species, MoO2 and MgMoO4. The results showed that the g...
متن کاملExtraction of Cephalexin Using Aqueous Two-Phase Systems Composed of Cholinium Chloride and K3PO4
Cephalexin is an important antibiotic. It is very significant to determine an appropriate method for the extraction of this valuable antibiotic for industrial applications. Aiming at developing an efficient method for the extraction of cephalexin, the partitioning of cephalexin has been evaluated in aqueous two-phase system, including cholinium chloride and potassium phosphate. The effect of th...
متن کاملModel reduction of interconnected systems
Large scale linear systems are often composed of subsystems that interconnect to each other. Instead of reducing the entire system without taking into account its structure, it makes sense to reduce each subsystem (or a few of them) by taking into account its interconnection with the others subsystems in order to approximate the entire system. This is the purpose of this paper. Interconnected (...
متن کاملComposed Bisimulation for Tree Automata
We address the problem of reducing the size of (nondeterministic, bottom-up) tree automata using suitable, language-preserving equivalences on the states of the automata. In particular, we propose the so-called composed bisimulation as a new language preserving equivalence. Composed bisimulation is defined in terms of two different relations, namely upward and downward bisimulation. Moreover, w...
متن کاملSemantic Preserving Data Reduction using Artificial Immune Systems
Artificial Immune Systems (AIS) can be defined as soft computing systems inspired by immune system of vertebrates. Immune system is an adaptive pattern recognition system. AIS have been used in pattern recognition, machine learning, optimization and clustering. Feature reduction refers to the problem of selecting those input features that are most predictive of a given outcome; a problem encoun...
متن کامل